Floating point - PDFSEARCH.IO - Document Search Engine

Floating point
Results: 1574

#	Item
151	GNU MPFR The Multiple Precision Floating-Point Reliable Library EditionJuneThe MPFR team Add to Reading List Source URL: www.mpfr.org Language: English - Date: 2015-06-19 17:58:25 Software Computer arithmetic Compiling tools C GNU MPFR GNU Multiple Precision Arithmetic Library Configure script SageMath Rounding GNU Compiler Collection C standard library GNU
152	A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-04-16 09:27:03 Computer arithmetic Computing Software engineering Computer architecture IEEE floating point Double-precision floating-point format Extended precision Processor register Compiler correctness Rounding Fortran Single-precision floating-point format
153	Noname manuscript No. (will be inserted by the editor) Some issues related to double rounding Érik Martin-Dorel · Guillaume Melquiond · Jean-Michel Muller Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-02-18 11:28:41 Computer arithmetic Mathematics Theoretical computer science Computing Rounding IEEE floating point Double-precision floating-point format Normal number Arithmetic underflow Division algorithm Q Denormal number
154	Introduction CompCert Flocq CompCert+Flocq Conclusion A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo Jacques-Henri Jourdan Xavier Leroy Guillaume Melquiond Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-10-09 12:04:53 Compilers Computer arithmetic CompCert Logic in computer science Xavier Leroy GNU Compiler Collection Floating point X86
155	Stochastic Optimization of Floating-Point Programs with Tunable Precision Eric Schkufza Rahul Sharma Add to Reading List Source URL: raw.githubusercontent.com Language: English
156	OPERAZIONI FLOATING POINT NEI DSP DELLA FAMIGLIA ADSP-2106X Sergio Sigala534107 Add to Reading List Source URL: www.sigala.it Language: Italian - Date: 2005-02-18 07:02:33
157	Computer Systems A Programmer’s Perspective Bryant & O’Hallaron fourth pages:22 Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2015-03-19 16:51:08 Computing Software engineering Computer arithmetic Computer programming IEEE floating point Signed zero Pointer C TUTOR
158	Compositional analysis of floating-point linear numerical filters David Monniaux ´ CNRS / Laboratoire d’informatique de l’Ecole normale sup´erieure Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:45:20 Filter theory Digital signal processing Telecommunications engineering Signal processing Mathematics Digital filter Linear filter Infinite impulse response Z-transform Electronic filter Filter Convolution
159	Accurate Evaluation of Arithmetic Expressions Matthieu Martel DALI - Universite´ de Perpignan Via Domitia LIRMM - CNRS: UMRUniversite´ Montpellier 2, France Add to Reading List Source URL: nsad2012.ucombinator.org Language: English - Date: 2014-01-06 09:39:57 Computer arithmetic Floating point Abstract interpretation Rounding IEEE floating point Double-precision floating-point format Precision NaN Expression

UPDATE